are-dependent-types-actually-erased
⚠️Error Handling
Flag this post
Thinking with Types: type-level programming in Haskell
🔧functional programming languages
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·11h
🐪ocaml
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·20m
🐪ocaml
Flag this post
essential spectrum
ncatlab.org·6h
🐪ocaml
Flag this post
Scala vs. F#
🔧functional programming languages
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·4h
🐪ocaml
Flag this post
News for October 2025
ptreview.sublinear.info·17h
🦀Rust
Flag this post
Pain Points of OCaml
🐪ocaml
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
🔧functional programming languages
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
🦀Rust
Flag this post
Low-Level Hacks
🦀Rust
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·16h
🐪ocaml
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·11h
🦀Rust
Flag this post
What Is Occult Grammar?
🔧functional programming languages
Flag this post
Loading...Loading more...